翻訳と辞書 Words near each other ・ Axiom schema ・ Axiom schema of predicative separation ・ Axiom schema of replacement ・ Axiom schema of specification ・ Axiom Telecom ・ Axiom Verge ・ Axiom-man ・ Axioma ・ Axioma Ethica Odini ・ Axiomatic (album) ・ Axiomatic (disambiguation) ・ Axiomatic (story collection) ・ Axiomatic design ・ Axiomatic product development lifecycle ・ Axiomatic quantum field theory ・ Axiomatic semantics ・ Axiomatic system ・ Axiome ・ Axioms (album) ・ Axion ・ Axion (disambiguation) ・ Axion Dark Matter Experiment ・ Axion Estin ・ AXIOO International ・ Axiophyte ・ Axiopoena ・ Axiopoena karelini ・ Axiopoena maura ・ Axiopoeniella ・ Axiopoeniella laymerisa Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Axiomatic semantics ： ウィキペディア英語版 Axiomatic semantics Axiomatic semantics is an approach based on mathematical logic to proving the correctness of computer programs. It is closely related to Hoare logic. Axiomatic semantics define the meaning of a command in a program by describing its effect on assertions about the program state. The assertions are logical statements - predicates with variables, where the variables define the state of the program. ==See also== * Algebraic semantics (computer science) — in terms of algebras * Denotational semantics — by translation of the program into another language * Operational semantics — in terms of the state of the computation * Formal semantics of programming languages — overview * Predicate transformer semantics — describes the meaning of a program fragment as the function transforming a postcondition to the precondition needed to establish it. * Assertion (computing) 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Axiomatic semantics」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.